Deliverable D13: Verifiable Properties of Societies of Computees
نویسندگان
چکیده
This deliverable reports the work conducted within the SOCS project for workpackage WP5 on verifiable properties of computees and their societies. Copyright c © 2005 by the SOCS Consortium. The SOCS Consortium consists of the following partners: Imperial College of Science, Technology and Medicine, University of Pisa, City University, University of Cyprus, University of Bologna, University of Ferrara. Deliverable D13: Verifiable Properties of Societies of Computees M. Alberti, F. Athienitou, A. Bracciali, F. Chesani, U. Endriss, M. Gavanelli, A. Kakas, E. Lamma, W. Lu, P. Mancarella, P. Mello, F. Sadri, K. Stathis, F. Toni, and P. Torroni Department of Computing, Imperial College London Email: {ue,fs,ft}@doc.ic.ac.uk Dipartimento di Informatica, Università di Pisa Email: {braccia,paolo}@di.unipi.it Department of Computing, City University, London Email: {lue,stathis}@soi.city.ac.uk Department of Computer Science, University of Cyprus Email: {cspgat1,antonis}@cs.ucy.ac.cy DEIS, Università di Bologna Email: {fchesani,pmello,ptorroni}@deis.unibo.it Dipartimento di Ingegneria, Università di Ferrara Email: {malberti,mgavanelli,elamma}@ing.unife.it ABSTRACT This deliverable reports the work conducted within the SOCS project for workpackage WP5 on verifiable properties of computees and their societies.This deliverable reports the work conducted within the SOCS project for workpackage WP5 on verifiable properties of computees and their societies.
منابع مشابه
Computees and welfare
This is a report on preliminary work on welfare-related properties for computees, providing an annex to deliverable D13. Copyright c © 2005 by the SOCS Consortium. The SOCS Consortium consists of the following partners: Imperial College of Science, Technology and Medicine, University of Pisa, City University, University of Cyprus, University of Bologna, University of Ferrara. Computees and welf...
متن کاملProfile related properties
This is a report on profile-related properties of computees, providing an annex to deliverableD13. We study various profiles of behaviour by giving formal definitions and proving certainproperties for each profile. Copyright c© 2005 by the SOCS Consortium. The SOCS Consortium consists of the following partners: Imperial College of Science, Technology and Medicine, University of ...
متن کاملDeliverable D14: Experiments with animated societies of computees
In this deliverable, we report on our work within WP6, which is devoted to testing the proposed SOCS models for individual computees and societies of computees, and their implementation. To this purpose, work-package WP6 aims at testing the models defined in WP1, WP2 and WP3, by exploiting PROSOCS, the outcome of WP4. As a by-product, this work is also a test of PROSOCS. This task has been addr...
متن کاملDeliverable D5: A logic-based approach to model interaction amongst computees
Computees are Computational Logic-based entities interacting in the context of global and open computing environments. The focus of this work is on the interactions among computees that form a society, and on the definition of a Computational Logic-based architecture for computee interactions. We propose a layered architecture where the society defines the allowed interaction protocols, which d...
متن کاملA logic-based approach to model computees
A computee is an autonomous computational entity that operates in an open and dynamic environment. This report proposes a formal framework for computees, called KGP (Knowledge, Goals, Plan), that synthesises their reasoning and sensing capabilities into a model for their operation. Within this model the computee is able to reason about goals and plans and to execute its plans depending on the s...
متن کامل